C Libraries

Cyclone provides partial support for the following C library headers, at least on Linux. On other platforms (e.g., Cygwin), some of these headers are not available. Furthermore, not all definitions from these headers are available, but rather, those that we could easily make safe.

If you are interested to see how we provide the C library interface, see buildlib and the specification file bin/cyc-lib/libc.cys in the Cyclone distribution.